widget: gdk_display_get_monitor can return NULL
authorTimm Bäder <mail@baedert.org>
Tue, 20 Nov 2018 11:44:23 +0000 (12:44 +0100)
committerTimm Bäder <mail@baedert.org>
Tue, 20 Nov 2018 11:45:18 +0000 (12:45 +0100)
commitd76a0feef697e6ad61333708b85625b102bb340a
tree90256d052a41b1e7eeb6064690c1ffd6739d3863
parent08a07d4ae5fd6cded1216eb96943ca2115c60af6
widget: gdk_display_get_monitor can return NULL

Fixes #1466
gtk/gtkwidget.c